(read_char): When an event from unread-command-events
authorGerd Moellmann <gerd@gnu.org>
Tue, 20 Feb 2001 18:12:00 +0000 (18:12 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 20 Feb 2001 18:12:00 +0000 (18:12 +0000)
commit3f0efb216daf0f501271a118fae56fc907304b52
tree4b77f3bd2066c7293d19847f485045f317607837
parent51104759f79b5db199a20085a4d474b844e7c245
(read_char): When an event from unread-command-events
is from the tool or menu bar, set *USE_MOUSE_MENU to 1.
src/keyboard.c